H ?
«
‹
←
→
›
»
Language peer sets for Robinson Unification Logic: United Kingdom↑ United Kingdom/1969↑ Designed 1969 ↑ 1960s languages ↑ Third generation↑ High Cold War↑ Genus Horn clause ↑ Horn clause↑ Context-based ↑ Data representation ↑ Horn clause/1969↑ Context-based /1969↑ Data representation/1969↑ Horn clause/United Kingdom↑ Context-based /United Kingdom↑ Data representation/United Kingdom↑ Robinson Unification Logic(ID:7793/)alternate simple viewCountry: United Kingdom Designed 1969 Genus: Horn clause Unification logic formalism for programming in logic that led to the Horn clause structure in Prolog Related languages
References: in (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971 in (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971 Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |